
def main():
    x: int = nondet_int()
    y: int = nondet_int()
    d = y / x # 这里是否会出现除零错误？

# 调用main函数
main()
